#ifndef STDIO_H_
#define STDIO_H_

#define NULL ((void *)0)

void putchar(char);
void putd(int);
void putu(uint_32);
void putx(uint_32);
void puts(char *);
int printf(const char *, ...);
int sprintf(char *, const char *, ...);

#endif
